Back
Timeline of some events in computer-assisted mathematics and formalization in proof assistants
computer-assisted math
formalization
autoformalization
proof assistants
math